package gestIT;

/**
 * Enumerator class for building block operators
 * @author nicola
 *
 */
public enum TmpOperator {
	ImmediateChoice,
    Choice,
    Enabling,
    SynchronizedParallel,
    Parallel,
    Disabling,
    OrderIndependence,
    None
}
